Manuais de usuário para Texas Servidores, manual do proprietário e guia de usuário